# SPDX-License-Identifier: Apache-2.0

target_sources(seminix
  PRIVATE
  sigreturn.S
)
